Modular Multiplication Without Trial Division