And, won't "float depth" instead of "double depth" be better (for example, more portable) than double? I honestly don't know.