case float_abs(_): - return float + return float.with_range(low=0, high=None)
isNaN(abs(NaN))
EDIT: Ah, other comment mentions article was edited.