New MariaDB release offers rounded functionality