Allow leading zeroes before decimal numbers in dex Lua syntax