#include "tensorstore/util/bfloat16.h"
friend BFloat16 tensorstore::BFloat16::operator--(BFloat16& a, int);

Post-decrement.