define a 12.44
echo $a
define b [float->string $a]
echo $b