Text this: Ibn al Shatir's influence on modern astronomy