(assert (= true (fp #b01 #b01001001110 #x73e749afad3c7)))