Skip to content

Fix #287: Clean up make-float-aux

Raymond Toy requested to merge issue-287-clean-up-make-float-aux into master

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.

Edited by Raymond Toy

Merge request reports