Recent Java versions did something similar, allowing underscore characters, e.g., 7_000_000.