Sad that the article doesn't mention wildberger (coincidentally similar last name), an (in)famous math youtuber that's been mentioned on HN several times before. He has a "rational trigonometry series" an approachable way to see how math would work in an ultrafinite setting.