added decimal-point support to GET-NUM in PY-READ, problem B[#3], plus utility functions DOT-SYMBOL? and DOT-CHAR?