Added the function toDecimal().