Fixed up the pattern matching for int_to_bits so it's standards compliant
Updated the comments with... nothing much actually