function bit_count $1($1) returns bigint
	where $1 in (int, bytes)