Fixes #5: Error with (decimal) numbers