Text this: Integer quantum hall effect and noncommutative geometry