Text this: Arithmetic noncommutative geometry /