(assert (= ((_ to_fp 3 5) #b00000000) (_ +oo 3 1)))