@devurandom However it's the one digit in the book the author manually produced, so you could say it's nothing of substance!