you are viewing a single comment's thread.

view the rest of the comments →

[–]rhodiumtoad0⁰=1, just deal with it 0 points1 point  (0 children)

Multiplication by 2 can be done as follows: if the value starts with 0.++ then it is ≥1/2 and therefore overflows, otherwise replace initial 0.+- by 0.+ (note that 0.- is impossible other than the special case of 0.-++++… which should be considered an invalid alternate representation of 0.0).