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