fixed bugs concerning confusion of fractional and decimal notation of
numbers