typemyf123su2(3.14);//^In type definition// //^error: The subtype restriction is not a subset of the restriction on the parent type\. Subtype \(3\.14e0\) is not subset of subtype \(1\.0e0,2\.0e0,3\.0e0\)$//
typeminf_to_zerosu3(!6.0..10.0);//^In type definition// //^error: The subtype restriction is not a subset of the restriction on the parent type\. Subtype \(!6\.0e0\.\.1\.0e1\) is not subset of subtype \(-INF\.\.0\.0e0\)$//
typefloatbuzz_lightyear(infinity..not_a_number)//^In type definition// //^error: upper boundary cannot be not_a_number in float subtype range$//
varstrict_neg_xsnx_minus_0:=-0.0;//^In variable definition// //^error: -0\.0e0 is not a valid value for type \`float\' which has subtype \(-INF\.\.!-0\.0e0\)$//
varstrict_neg_xsnx_plus_0:=0.0;//^In variable definition// //^error: 0\.0e0 is not a valid value for type \`float\' which has subtype \(-INF\.\.!-0\.0e0\)$//
varstrict_negsn_minus_0:=-0.0;// OK
varstrict_negsn_plus_0:=0.0;//^In variable definition// //^error: 0\.0e0 is not a valid value for type \`float\' which has subtype \(-INF\.\.-0\.0e0\)$//
varneg0_xn0x_minus_0:=-0.0;// OK
varneg0_xn0x_plus_0:=0.0;//^In variable definition// //^error: 0\.0e0 is not a valid value for type \`float\' which has subtype \(-INF\.\.!0\.0e0\)$//
varpos_xpx_minus_0:=-0.0//^In variable definition// //^error: -0\.0e0 is not a valid value for type \`float\' which has subtype \(!-0\.0e0\.\.INF\)$//
varpos_xpx_plus_0:=0.0// OK
varstrict_possp_minus_0:=-0.0//^In variable definition// //^error: -0\.0e0 is not a valid value for type \`float\' which has subtype \(0\.0e0\.\.INF\)$//
varstrict_possp_0:=0.0// OK
varstrict_pos_xspx_minus_0:=-0.0//^In variable definition// //^error: -0\.0e0 is not a valid value for type \`float\' which has subtype \(!0\.0e0\.\.INF\)$//
varstrict_pos_xspx_plus_0:=0.0//^In variable definition// //^error: 0\.0e0 is not a valid value for type \`float\' which has subtype \(!0\.0e0\.\.INF\)$//