Fixes to the decimal.h file.