You asked:

facts about [real number: ["27.5"]]

Sorry, I don't yet have an answer to that question.