attempt to JSON encode decimals