[(12.34,"  ")]
[(12.30,"  ")]
[]
[(12.00,"  ")]
[]
[(-12.34,"  ")]