Various changes by Andrew, including int_abs!

abs does NOT work correctly!!!!