Update floating_point.c