(+) Unary header

edit isDouble