mysql在存储过程中字符串转换数字

公司的需求,需要根据用户的设定的百分比去查询数据。当时纯真的以为可以

-- set @a_value=`CONVERT`(@a_value,DOUBLE); 但是会出现错误，百度了一下，原来convert不支持转化为double

只能转换以下类型

二进制,同带binary前缀的效果 : BINARY    
  字符型,可带参数 : CHAR()     
  日期 : DATE     
  时间: TIME     
  日期时间型 : DATETIME     
  浮点数 : DECIMAL      
  整数 : SIGNED     
  无符号整数 : UNSIGNED

select CAST(rule.alarm_value AS DECIMAL)/100 into @a_value from  t_jdz_alarm_rule rule where rule.alarm_type='1';

-- set @a_value=`CONVERT`(@a_value,DOUBLE);