Report refined according to changes for multiply

I changed function for derivation of interval for natural number,
A bit algorithm 4.2.2 and z*z for intervals, all these are marked as
green(new) yellow(old)