https://domainvb.blogspot.com/2023/03/greatest-integer-function-domain-and.html