Text this: Arithmetic noncommutative geometry/