Update floatpoint.c