[doublec]

One such discussion in the mailing list: https://mail.mozilla.org/pipermail/rust-dev/2012-July/002094...

An example github issue discussing problems encountered: https://github.com/mozilla/rust/issues/1105