Implement resize operation for fixed-point numbers

And use it to implement (*) and 'plus'/'minus'
eta-reduce