They are allowed to round 0.80 to 1 for the sticker. So the EPA numbers on stickers are rounded up? :unsure: (Because I really doubt anyone would round down.)