5.14242…是什么小数