Are the Illustrious 18 as given in BJA3 computed with rounded true counts or floored true counts? I've read the text and can't find this info, though I could have easily missed it.
