A Universal Prior for Integers and Estimation by Minimum Description Length | Synapse