Keys mapped to std decimal keys under F