(module Currency)