[MariaDB developers] Question regarding underscore in Numeric Literals