explicitly instantiating lens models with float