Fixed problem with numeric_limits in ROB header