You asked:

facts about [height: [length: [real number: ["0.314"]]; [millimetre]]]

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