UDF's for using Ripple data types in MySql