(assert (= ((_ to_fp 3 5) #b00000000) (_ NaN 1 5)))