Border thickness should be rounded up when it is grater than 0px but less than 1px, and floored when it is greater than 1px.