fix a typo in comment for print_float