Maybe we can hack ruleutils to use the CAST syntax only in this specific context.
Given the lack of complaints, and ubiquity of ::, this would seem ideal and sufficient. While there is something to be said for using standard compliant syntax changing just this like doesn't seem like it would move the goalposts meaningfully.