Nat/double.kind