TecplotIO fix for non-double-precision

Using our own typedefs is usually the way to go, but if external APIs
demand a different type then we need to give them a different type.