Carbon の diffInDays の仕様を理解していなかった

$a = new Carbon('2020-05-11 12:00:00');
$b = new Carbon('2020-05-12 00:00:00');

$a->diffInDays($b); // 1が返ってくると期待していたが、0が返ってくる。

$c = new Carbon('2020-05-12 12:00:00');
$a->diffInDays($c); // 1が返ってくる

$d = new Carbon('2020-05-12 11:59:59');
$a->diffInDays($d); // 実際には試してないがおそらく0が返ってくる

コードも読んでないし、詳細に検証もしてないけど、おそらく

🙅‍♂️ 単純な日にちの差分

🙆‍♂️ 24時間単位での日数計算