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