muJSExpression (JSDecimal _ val)                                    = muDecimal val
muJSExpression (JSDecimal _ val)                                    = muDecimal val
muJSExpression (JSDecimal _ val)                                    = muDecimal val