Floating point decimal support has been removed from CodeQL#1014

jketema wants to merge 1 commit intogithub:nextgithub/codeql-coding-standards:nextfrom

jketema:jketema/rm-decimaljketema/codeql-coding-standards:jketema/rm-decimalCopy head branch name to clipboard