Add softfloat is_inf and is_subnormal functions
Convert TCEB,TCDB,TCXB to softfloat