$$decimal

Converts number to BigDecimal type

Usage

{
  "$$decimal": /* value */
}

"$$decimal:{input}"

Returns

number

Examples

Input

Definition

Output

"200.5"

"$$decimal:$"

200.5