That kind of Platonism also implies that all possible computer programs already exist: because any program is merely a very large natural number, the set of which has infinite cardinality. I'm not sure how helpful this is for the practice of humans doing mathematics or software development though.