Thus my second paragraph. You have to opt in to use other formats. Casting to bigint doesn't work because the problem occurs when converting the decimal consta

Thus my second paragraph. You have to opt in to use other formats. Casting to bigint doesn't work because the problem occurs when converting the decimal constant in the source to floating point. You would have to convince the parser to parse the constant as something besides a float.