* adapted include lines such that we can use installed StandardDecimalNotation package.