/* not really bugs, but additional built-in types */
__float128 x = 0.3;
__float80  y = 0.3;