mysql - 数字以外の文字を無視した MySQL の型変換

Question

数値以外の文字を無視しながら、MySQL で varchar(500) を float に変換するにはどうすればよいですか? 私のコードは現在このようになっています

select distinct(customer_id), cast(val_amt as float) from(
select prsn_real_gid, vital_nam, vital_performed_date,
case when val_amt ~'^[0-9]+' then val_amt else null end as val_amt from my_table);

しかし、次のエラーメッセージが表示されます

[Amazon](500310) Invalid operation: Invalid digit, Value 'X', Pos 2, Type: Double 
Details: 
 -----------------------------------------------
  error:  Invalid digit, Value 'X', Pos 2, Type: Double 
  code:      1207
  context:   1.XYXY04
  query:     4147
  location:  :0
  process:   query0_118_4147 [pid=0]
  -----------------------------------------------;
1 statement failed.

たとえば、私のデータは次のようになります。

customer_id  |  val_amt
111  | 23.45
112  | 21
113  | x
114  | /
115  | 
116  | 23/24

ご覧のとおり、小数、整数、文字、記号、および null があります。小数でも整数でもないものはすべて無視したい。