Also, a really cool find in Ferrocene public docs is their "Traceability Matrix" [1].
For every bit in the Ferrocene language specification [2] there's a link to a set of tests that actually confirm the compiler's behavior. Just shows you how much work has been done here.