小丽设计了一个关于实数的运算程序