Text this: Large deviations and idempotent probability / Anatolii Puhalskii.