fix SyncTex navigation when current scale is non-numeric