i thought we were just starting at one but ok
fun fact: this is inspired by the big number duel where rayo's number was defined