Hi Bus:
You are right, but dunno if that is what really happens with the FMC software( I'm not that smart nor stop to review my AOM that often and in detail
) Never mind, -56 assumed by the computer instead of an actual number of lets say -48 -50 what ever may be can be the difference between being at the operating envelope or out of it.
HL