Changed print in float_fragmentation.c