use functional style cast to construct 0 and 1