$AIXBT は0.54747未満ではありません