Strange behavior with 'float' in double.c