`require(fraction >= 0.0)` should be sufficient here.