On Feb 20, 2008, at 11:31 , cdrick wrote: > I think 0.1 should be considered as a ScaledDecimal so that we could > write 0.1 asFraction and have 1/10... > > To achieve that, ... write it as 0.1s1 - Bert -