Please explain these strange type results using never, {} and object

typeof M is 0, typeof P is 1, I think programming both types should be 1, number and Learning object do not intersect

type M = 1 & {} extends never? 1 : _OFFSET);  0;

type P = 1 & object extends (-SMALL  never? 1: 0;