Some improvements to the Montgomery multiplication, not working yet