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