(module Int_conversions)