innodb_version:string to float