in two-arg-derive-typ, returning a type specify of the type of the NaN; was having trouble (/ (the (member 0.0)) (the (member 0.0))).
in two-arg-derive-typ, returning a type specify of the type of the NaN; was having trouble (/ (the (member 0.0)) (the (member 0.0))).