HIGH_BOUND [double]:
null