Felipe had $3.80 in his pocket. Then he carried some heavy books for Ms. Bishop to the library, for which she gave him $1.25. How much money did Felipe have then?