the question of whether mathematical objects like 53 are more or less real than the historically contingent universe is indeed very interesting
however, it is irrelevant to the fact that a commenter was disagreeing because they had confused ieee-754 division with the division operation on so-called 'real' numbers