Plus, deck height needs to include the floor thickness. It's more than just the distance between floor and ceiling.
Those Jefferies Tubes run somewhere. http://www.ex-astris-scientia.org/articles/jefferies.htm
Those Jefferies Tubes run somewhere. http://www.ex-astris-scientia.org/articles/jefferies.htm