informatique:logiciels:mariadb:str_to_double