I think there may be a way to handle this by treating it a little like we treat contextual lookup for something like foo(.staticMember), by treating the .ft part of the expression as if its a lookup into the contextual type if present and if not present falling back to attempting bindings for the literal and then doing the lookup within the literal as done today (this works for the Double case because we first attempt Int for integer literals, and then Double).