<http://schema.org/height>
"889"^^<http://www.w3.org/2001/XMLSchema#integer>
<http://www.orlandoweekly.com/Blogs/archives/2016/04/06/arguably-the-largest-gator-to-ever-be-caught-in-florida-was-hunted-down-last-weekend>