`x`, `y`, and `private_key` are all integers?