Number representation class templates have a default zero.