let max_no_nan x y = if classify_float y = FP_nan then x else max x y