Find the smallest positive real number x such that:
⌊x2⌋−x⌊x⌋=9.
If you graph it on desmos, you'll see that x = 10.9