The Greek makes the distinction between petros and petra simply because it is trying to preserve the pun, and in Greek the feminine petra could not very well serve as a masculine name.
Frank E. GaebeleinAlthough it is true that petros and petra can mean 'stone' and 'rock' respectively in earlier Greek, the distinction is largely confined to poetry.
Frank E. Gaebelein