decimal format for deduction  specifics. fixes #37