floating_point_number