added format() to -predef-, appendInt() to BitArray and fixed bitwise rotation to work with large integers