x:real:＝min(1.3,2.56,7.21)