let min_no_nan x y = if classify_float y = FP_nan then x else min x y