Rename ReadDecimal to ReadDecimal.py