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