This fixes #8101.  I just forced the value returned by get('decimals') to be an int.