integer.to_decimal

pure function to_decimal(): decimal

Convert this integer to a decimal.

Since 0.9.1