We study frequently hypercyclic operators, a natural new concept in hypercyclicity that was recently introduced by F. Bayart and S. Grivaux. We derive a strengthened version of their Frequent Hypercyclicity Criterion, which allows us to obtain examples of frequently hypercyclic operators in a straightforward way. Moreover, Bayart and Grivaux have noted that the frequent hypercyclicity setting differs from general hypercyclicity in that the set of frequently hypercyclic vectors need not be residual. We show here that, under weak assumptions, this set is only of first category. Motivated by this we study the question of whether one may write every vector in the underlying space as the sum of two frequently hypercyclic vectors. This investigation leads us to the introduction of a new notion, that of Runge transitivity.