Extra validation and comments on top of: Rewrite mul/sqr for 32bit/64bit

Builds further on #73.