⌈ U V ⌋ = ⌊ U V ⌉