Long arrows should be a multiple of monospace

Currently, long arrows (⟵ ⟸ ⟶ ⟹) have a length about 11/12 of the monospaced characters. For laying out code (e.g., in Agda) it would be extremely helpful if their length was an exact multiple of a monospace, with 3 characters wide being the obvious choice.

Similarly, floor and ceiling brackets (⌊ ⌋ ⌈ ⌉) have a width about 5/6 of the monospaced characters. Again, it would be extremely helpful if they were the same width as all the monospaced characters.

I am writing an online textbook for which Source Code Pro would be the perfect choice, if these issues were fixed. Thank you for creating Source Code Pro, which looks beautiful!