Fix #287: Clean up make-float-aux

We don't need to try to round small numbers to least positive float here. When #277 (closed) was fixed, this was taken care of. Hence we can remove all the code for that and just throw an error if the result is 0 but the number is not zero.