philip_b comments on The power of finite and the weakness of infinite binary point numbers