Right on!

Hence anyone committed to the necessary existence of numbers, or of other logical or mathematical objects, must countenance the existence of God, moreover the necessary biconditional that God exists if and only if the numbers exist.

David Oderberg, “Real Essentialism” p 130