[MariaDB developers] Re: Question regarding underscore in Numeric Literals