adding code for missing decimals

changing the namespace as in previous pull request was unwarranted (though it does not affect functionality)