[F] Fix big float