初年度の夏のボーナスて全額もらえるの?公務員の取り扱いは一般的にどうなのかね