MastodonHelp/web/lib/realfloat.php

<?php
function rf($num) {
	return preg_replace('#\D#u','.',$num);
}
?>