IntExtension: Times, fixed using