A programming language designed for accurate numerical computation