[rswail]

Minor correction:

iff |a| < |b| then round(|a|) < = round(|b|)